Dynamic Recovering of Long Running Transactions
نویسندگان
چکیده
Most business applications rely on the notion of long running transaction as a fundamental building block. This paper presents a calculus for modelling long running transactions within the framework of the π-calculus, with support for compensation as a recovery mechanism. The underlying model of this calculus is the asynchronous polyadic π-calculus, with transaction scopes and dynamic installation of compensation processes. We add to the framework a type system which guarantees that transactions are unequivocally identified, ensuring that upon a failure the correct compensation process is invoked. Moreover, the operational semantics of the calculus ensures both installation and activation of the compensation of a transaction.
منابع مشابه
Executing Long-Running Transactions in Synchronization-Free Main Memory Database Systems
Powerful servers and growing DRAM capacities have initiated the development of main-memory DBMS, which avoid lock-based concurrency control by executing transactions serially on partitions. While allowing for unprecedentedly high throughput for homogeneous workloads consisting of short pre-canned transactions, heterogeneous workloads also containing long-running transactions cannot be executed ...
متن کاملModeling of Compensation in Long-Running Transactions
nowadays, the most controversial issue is transaction in database systems or web services. Specifically, in the area of service-oriented computing, where business transactions always need long periods of time to finish. In the case of a failure rollback, which is the traditional method, it will not be enough and not suitable for handling errors during long running transactions. As a substitute,...
متن کاملCombination of Intensive Short-Term Dynamic Psychotherapy Interventions and the Twelve-Step Method in Reducing the Denial Defense Mechanism in Recovering Addicts in Tehran Province
The aim of this study was to evaluate the Combination of Intensive Short-Term Dynamic Psychotherapy Interventions and the 12-step method in reducing the defense mechanism of denial in recovering addicts in Tehran province. The research design was a quasi-experimental pretest and posttest with a control group. The statistical population of the study consisted of all recovering addicts in Tehran ...
متن کاملDesign and verification of long-running transactions in a timed framework
Long–running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub–tasks, and may require to be completed before a deadline. These transactions are not atomic and, in case of executions which cannot be completed, a compensation mechanism must be provided. In this paper we develop a model of Communicating Hierarchical Timed Automata suitable to describ...
متن کاملAn Exact Elastodynamic Solution for Func-tionally Graded Thick-Walled Cylinders Subjected to Dynamic Pressures
In the present paper, an exact solution for transient response of an infinitely long functionally graded thick-walled cylinder subjected to dynamic pressures at the boundary surfaces is presented for arbitrary initial conditions. The cylinder is assumed to have a plane-strain condition and the dynamic pressures are assumed to be imposed uniformly and axis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008